local-remove-manual
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Wed, 27 May 2026 04:49:44 +0000 (11:49 +0700)
committerArnaud Rebillout <arnaudr@debian.org>
Wed, 27 May 2026 04:49:44 +0000 (11:49 +0700)
commit1f7f5da8a8cfee2281a063f808902a40da58756d
tree8a125e2f67c4f37e25a40a03a65ea60ccb57b032
parent863de607c4180faaaa2fd664fb4b3eae359e0968
local-remove-manual

The GNU Libc Reference manual has to be removed for licensing reasons.
But some files have a dependency on manual/errno.texi; the easiest
solution is to drop those dependencies and make sure that MAKEINFO=:
so that no target depends on manual/*.texi files.

Gbp-Pq: Topic all
Gbp-Pq: Name local-remove-manual.diff
manual/Makefile [new file with mode: 0644]
sysdeps/gnu/Makefile
sysdeps/mach/hurd/Makefile